TSTP Solution File: NUM636^1 by SRASS---0.1